Lascar and Morley Ranks Differ in Differentially Closed Fields

نویسندگان

  • Ehud Hrushovski
  • Thomas Scanlon
چکیده

We note here, in answer to a question of Poizat, that the Morley and Lascar ranks need not coincide in differentially closed fields. We will approach this through the (perhaps) more fundamental issue of the variation of Morley rank in families. We will be interested here only in sets of finite Morley rank. § 1 consists of some general lemmas relating the above issues. § 2 points out a family of sets of finite Morley rank, whose Morley rank exhibits discontinuous upward jumps. To make the base of the family itself have finite Morley rank, we use a theorem of Buium. We thank John Baldwin, Anand Pillay, and Wai Yan Pong for reading an earlier version of this note and suggesting improvements.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Two remarks on differential fields

We make two observations concerning differential fields. The first is a model-theoretic proof of the existence and uniqueness of a PicardVessiot extension for an iterative linear differential equation (in positive characteristic) answering a question of Hrushovski. The second observation is that definable sets of finite Morley rank in differentially closed fields of characteristic zero are (pos...

متن کامل

Indecomposability for differential algebraic groups

We study a notion of indecomposability in differential algebraic groups which is inspired by both model theory and differential algebra. After establishing some basic definitions and results, we prove an indecomposability theorem for differential algebraic groups. The theorem establishes a sufficient criterion for the subgroup of a differential algebraic group generated by an infinite family of...

متن کامل

On Fields and Colors

We exhibit a simplified version of the construction of a field of Morley rank p with a predicate of rank p − 1, extracting the main ideas for the construction from previous papers and refining the arguments. Moreover, an explicit axiomatization is given, and ranks are computed.

متن کامل

Borovik-Poizat Rank and Stability

Borovik proposed an axiomatic treatment of Morley rank in groups, later modified by Poizat, who showed that in the context of groups the resulting notion of rank provides a characterization of groups of finite Morley rank [Poi87]. (This result makes use of ideas of Lascar, which it encapsulates in a neat way.) These axioms form the basis of the algebraic treatment of groups of finite Morley ran...

متن کامل

On NIP and invariant measures

We study forking, Lascar strong types, Keisler measures and definable groups, under an assumption of NIP (not the independence property), continuing aspects of the paper [16]. Among key results are (i) if p = tp(b/A) does not fork over A then the Lascar strong type of b over A coincides with the compact strong type of b over A and any global nonforking extension of p is Borel definable over bdd...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • J. Symb. Log.

دوره 64  شماره 

صفحات  -

تاریخ انتشار 1999